Minimal Reachability is Hard To Approximate

نویسندگان

  • Ali Jadbabaie
  • Alexander Olshevsky
  • George J. Pappas
  • Vasileios Tzoumas
چکیده

In this note, we consider the problem of choosing which nodes of a linear dynamical system should be actuated so that the state transfer from the system’s initial condition to a given final state is possible. Assuming a standard complexity hypothesis, we show that this problem cannot be efficiently solved or approximated in polynomial, or even quasi-polynomial, time.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Elimination of Hard-Nonlinearities Destructive Effects in Control Systems Using Approximate Techniques

Many of the physical phenomena, like friction, backlash, drag, and etc., which appear in mechanical systems are inherently nonlinear and have destructive effects on the control systems behavior. Generally, they are modeled by hard nonlinearities. In this paper, two different methods are proposed to cope with the effects of hard nonlinearities which exist in friction various models. Simple inver...

متن کامل

BL-general fuzzy automata and minimal realization: Based on the associated categories

The present paper is an attempt to study the minimal BL-general fuzzy automata which realizes the given fuzzy behavior. Of two methods applied for construction of such automaton presented here, one has been based on Myhill-Nerode's theory while the other has been based on derivatives of the given fuzzy behavior. Meanwhile, the categories of BL-general fuzzy automata and fuzzy behavior, along wi...

متن کامل

Reachability in Augmented Interval Markov Chains

In this paper we propose augmented interval Markov chains (AIMCs): a generalisation of the familiar interval Markov chains (IMCs) where uncertain transition probabilities are in addition allowed to depend on one another. This new model preserves the flexibility afforded by IMCs for describing stochastic systems where the parameters are unclear, for example due to measurement error, but also all...

متن کامل

مساله زمان‌بندی پروژه با منابع محدود با هدف حداکثر نمودن ارزش خالص فعلی

Resource-constrained project scheduling problem (RCPSP) aims to schedule at minimal duration a set of activities subject to precedence constraints and the limited availability of resources. Considering net present value (NPV) is one of the modern approaches in scheduling projects in which the project is scheduled in such a way that NPV be maximized. This approach with deterministic parameters s...

متن کامل

Reachability checking in complex and concurrent software systems using intelligent search methods

Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • CoRR

دوره abs/1710.10244  شماره 

صفحات  -

تاریخ انتشار 2017